Validating Temporal Behavior Models of Complex Real-Time Systems
نویسندگان
چکیده
When constructing a model of the behavior of a software system, model validation is necessary in order to assure that the model accuratly describes the system at an appropriate level of abstraction. How to validate a model is however not obvious, since a model is an abstraction of the real system. This paper presents an approach for validation of temporal behavior models, targeting complex industrial real-time systems. The paper also proposes a method for robustness analysis, how to determine if the model is robust with respect to the typical changes to the system.
منابع مشابه
A New Model of Car Following Behavior Based on Lane Change Effects Using Anticipation and Evaluation Idea
This paper aims to investigate a new and intricate behavior of immediate follower during the lane change of leader vehicle. Accordingly, the mentioned situation is a transient state in car following behavior during which the follower vehicle considerably deviates from conventional car following models for a limited time, which is a complex state including lateral and longitudinal movement simul...
متن کاملValidating Timing Models of Industrial Real-Time Systems
When analyzing a model of any kind, in order to get confidence in the analysis result it is necessary to have confidence in the model. If a model describes the timing of a complex software system, it is not obvious how to determine if the model is valid, i.e. if the model accurately describes the system from a certain point of view and at an appropriate level of abstraction. Given that a model ...
متن کاملIntroducing Temporal Analyzability Late in the Lifecycle of Complex Real-Time Systems
Many industrial real time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by common sense However as the system evolves the possibility to predict the consequences of changes become more and more di cult unless models and analysis method can be used In this paper we describe our approach to re ...
متن کاملپایش سلامت در حیات مصنوعی در حوزه های بیماری های واگیر و آلودگی
Introductions :Inherent human society and its complexities, in addition the possibility of trial in more social and health sciences, caused using of computerized simulations and artificial models in terms of necessary views that are exist in these types of sciences. to design these artificial models based on real environment and evaluation and recognition and then recalling the results, and usi...
متن کاملMixed Qualitative/Quantitative Dynamic Simulation of Processing Systems
In this article the methodology proposed by Li and Wang for mixed qualitative and quantitative modeling and simulation of temporal behavior of processing unit is reexamined and extended to more complex case. The main issue of their approach considers the multivariate statistics of principal component analysis (PCA), along with clustered fuzzy digraphs and reasoning. The PCA and fuz...
متن کامل